/.*/ {
  gsub("\\\\\\\\", "\\\\\\\\", $0)
  printf("%s\n", $0)
}
